Howard Barringer: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (16)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Advances in Temporal Logic

Advances in Temporal Logic

Springer Netherlands

Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 26.87 MB

0 / 0

english, 2000

2

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Springer-Verlag New York

Howard Barringer, Dov Gabbay (auth.), Yiannis N. Moschovakis (eds.)

Տարի:

1992

Լեզու:

english

Ֆայլ:

PDF, 14.72 MB

0 / 0

english, 1992

3

Advances in temporal logic

Advances in temporal logic

Springer Netherlands

Iliano Cervesato, Massimo Franceschet, Angelo Montanari (auth.), Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough (eds.)

Տարի:

2000

Լեզու:

english

Ֆայլ:

DJVU, 4.13 MB

0 / 0

english, 2000

4

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 3.93 MB

0 / 0

english, 2010

5

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 5.00 MB

0 / 0

english, 2010

6

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 10.22 MB

0 / 0

english, 2012

7

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 2.74 MB

0 / 0

english, 2009

8

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 2.38 MB

0 / 0

english, 2009

9

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.93 MB

0 / 0

english, 2010

10

Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

Springer-Verlag Berlin Heidelberg

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 4.01 MB

0 / 0

english, 2010

11

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.)

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 3.76 MB

0 / 0

english, 2007

12

A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Springer-Verlag Berlin Heidelberg

Howard Barringer (auth.)

Տարի:

1985

Լեզու:

english

Ֆայլ:

DJVU, 781 KB

0 / 0

english, 1985

13

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.78 MB

0 / 0

english, 2010

14

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 6.98 MB

0 / 0

english, 2010

15

A Survey of Verification Techniques for Parallel Programs

A Survey of Verification Techniques for Parallel Programs

Springer-Verlag Berlin Heidelberg

Howard Barringer (auth.)

Տարի:

1985

Լեզու:

english

Ֆայլ:

PDF, 1.44 MB

0 / 0

english, 1985

16

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 2.42 MB

0 / 0

english, 2009